DEDS Along Their Life Cycle Interpreted Extensions of Petri Nets
نویسندگان
چکیده
The diversity of interpreted Petri net PN for malisms suited to deal with diverse purposes but shar ing basic common principles turns PN into a conceptual framework or paradigm for the modeling of DEDS They can be used for the modeling analysis implementation and control of these systems sometimes with advantage and with the additional bene t of improving the commu nication between stages of the life cycle The utilization of Petri nets in several of these stages is illustrated in the paper
منابع مشابه
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field
It is certainly worth remarking on half a century of a work defining a landmark in Discrete Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some historical facts with elements of a conceptual view on concurrent DEDS, giving pointers about the development of the field. Simplifying the historical trajectory, it can be said that the seed sown by Carl Adam Petri in 19...
متن کاملIntroduction to Stochastic Petri Nets
Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper...
متن کاملA Tutorial on the Synthesis of the Maximally Permissive Liveness Enforcing Supervisory Policy in Discrete-Event/Discrete-State Systems modeled by a Class of General Petri Nets
A Discrete-Event/Discrete-State (DEDS) system is in a livelocked-state, if some process has entered into a state of suspended-animation for perpetuity. If every process of the DEDS system is in a state of suspended animation, the DEDS system is deadlocked. A livelock-free DEDS system does not have deadlocked-states, but a deadlock-free DEDS system can still experience livelocks. A livelock-pron...
متن کاملMulti-dimensional Petri Nets
Petri nets have become a mature modelling and analysis tool applicable in many application domains. Since the introduction of the Petri net concept in 1962 (Petri 14]), Petri nets have been investigated and applied by many researchers. Many extensions of the classical Petri net have been proposed. To model attributes, `colour' has been added. Time concepts have been added to describe the tempor...
متن کاملNecessary Conditions for Tracking Timing Perturbations In Timed Petri Nets
This work concerns the tracking of timing perturbations in discrete event dynamic systems (DEDS) modeled by timed Petri nets (TPN). Necessary conditions are presented for tracking perturbations in TPNs in which timings are only available for a set of monitor transitions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003